Log In
Browsing by Author Wolf, Jindřich
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 3 of 3
Issue Date
Title
Author(s)
2017
Magnetický rovinný manipulátor
Wolf, Jindřich
2019
Řízení kolaborativních multi-agentních dynamických systémů
Wolf, Jindřich
2022
Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing
Ausberger, Tomáš
;
Kubíček, Karel
;
Medvecová, Pavla
;
Wolf, Jindřich